搜索包含 Programming (Numerical Software) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

	Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers 0 索取号：作者：Blockeel、 Hendrik.、Ramon、 Jan.、Shavlik、 Jude.、Tadepalli、 Prasad.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings 0 索取号：作者：Yorav、 Karen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Reflections on the Teaching of Programming [electronic resource] : Methods and Implementations 0 索取号：作者：Bennedsen、 Jens.、Caspersen、 Michael E.、K枚lling、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers 0 索取号：作者：Overhage、 Sven.、Szyperski、 Clemens A.、Reussner、 Ralf.、Stafford、 Judith A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Rationale-Based Software Engineering [electronic resource] 0 索取号：作者：Burge、 Janet E.、Carroll、 John M.、McCall、 Raymond.、Mistrik、 Ivan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [electronic resource] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers 0 索取号：作者：Okada、 Mitsu.、Satoh、 Ichiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers 0 索取号：作者：Lumpe、 Markus.、Vanderperren、 Wim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations [electronic resource] 0 索取号：作者：Mathew、 Tarek Poonithara Abraham.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings 0 索取号：作者：Arvind、 V.、Prasad、 Sanjiva.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Transactions on Aspect-Oriented Software Development IV [electronic resource] 0 索取号：作者：Rashid、 Awais.、Aksit、 Mehmet.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Software Product Management and Pricing [electronic resource] : Key Success Factors for Software Organizations 0 索取号：作者：Kittlaus、 Hans-Bernd.、Clough、 Peter N.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Jets From Young Stars III [electronic resource] : Numerical MHD and Instabilities 0 索取号：作者：Massaglia、 S.、Bodo、 G.、Mignone、 A.、Rossi、 P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures 0 索取号：作者：Backhouse、 Roland.、Gibbons、 Jeremy.、Hinze、 Ralf.、Jeuring、 Johan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings 0 索取号：作者：Butler、 Michael.、Hinchey、 Michael G.、Larrondo-Petrie、 Mar铆a M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings 0 索取号：作者：Shao、 Zhong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Software Evolution [electronic resource] 0 索取号：作者：Mens、 Tom.、Demeyer、 Serge.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

	Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers 0 索取号：作者：Blockeel、 Hendrik.、Ramon、 Jan.、Shavlik、 Jude.、Tadepalli、 Prasad.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings 0 索取号：作者：Yorav、 Karen.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Reflections on the Teaching of Programming [electronic resource] : Methods and Implementations 0 索取号：作者：Bennedsen、 Jens.、Caspersen、 Michael E.、K枚lling、 Michael.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Software Architectures, Components, and Applications [electronic resource] : Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers 0 索取号：作者：Overhage、 Sven.、Szyperski、 Clemens A.、Reussner、 Ralf.、Stafford、 Judith A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Rationale-Based Software Engineering [electronic resource] 0 索取号：作者：Burge、 Janet E.、Carroll、 John M.、McCall、 Raymond.、Mistrik、 Ivan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues [electronic resource] : 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers 0 索取号：作者：Okada、 Mitsu.、Satoh、 Ichiro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Software Composition [electronic resource] : 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers 0 索取号：作者：Lumpe、 Markus.、Vanderperren、 Wim.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations [electronic resource] 0 索取号：作者：Mathew、 Tarek Poonithara Abraham.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings 0 索取号：作者：Arvind、 V.、Prasad、 Sanjiva.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Transactions on Aspect-Oriented Software Development IV [electronic resource] 0 索取号：作者：Rashid、 Awais.、Aksit、 Mehmet.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Software Product Management and Pricing [electronic resource] : Key Success Factors for Software Organizations 0 索取号：作者：Kittlaus、 Hans-Bernd.、Clough、 Peter N.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Jets From Young Stars III [electronic resource] : Numerical MHD and Instabilities 0 索取号：作者：Massaglia、 S.、Bodo、 G.、Mignone、 A.、Rossi、 P.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
	Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures 0 索取号：作者：Backhouse、 Roland.、Gibbons、 Jeremy.、Hinze、 Ralf.、Jeuring、 Johan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Formal Methods and Software Engineering [electronic resource] : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings 0 索取号：作者：Butler、 Michael.、Hinchey、 Michael G.、Larrondo-Petrie、 Mar铆a M.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
	Programming Languages and Systems [electronic resource] : 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings 0 索取号：作者：Shao、 Zhong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.		Software Evolution [electronic resource] 0 索取号：作者：Mens、 Tom.、Demeyer、 Serge.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.